#include <stdio.h>

int main(void) {
	int marker[10] = {0};
	char number[1000];
	scanf("%s", number);
	for (int i = 0; i < 1000 && number[i] != '\0'; i++) {
		marker[number[i] - '0']++;
	}
	for (int i = 0; i < 10; i++) {
		if (marker[i] != 0) {
			printf("%d:%d\n", i, marker[i]);
		}
	}
	return 0;
}
